FSM Encoding for BDD Representations
نویسندگان
چکیده
منابع مشابه
FSM Encoding for BDD Representations
Reduced Ordered Binary Decision Diagrams (ROBDDs or simply BDDs) are a data structure used to efficiently represent and manipulate logic functions. They were introduced by Bryant (1986). Since then, they have played a major role in many areas of computer aided design, including logic synthesis, simulation, and formal verification. The size of a BDD representing a logic function depends on the o...
متن کاملFSM Re-Engineering for Low Power State Encoding
Finite State Machine (FSM) synthesis traditionally starts with state minimization and state encoding, which provide codes of minimal length to the FSM with minimal number of states. Recently, there have been studies on encoding with nonminimal length and synthesis on non-minimized FSM. In this paper, we propose the framework of FSM re-engineering, which starts with synthesizing the original FSM...
متن کاملCompact BDD Representations for Multiple-Output Functions and Their Application
This paper shows a new method to represent a multipleoutput function: an encoded characteristic function for nonzero outputs (ECFN). The ECFN uses binary variables to represent an -input -output function, where . The binary decision diagrams (BDDs) for ECFNs are never greater than corresponding SBDDs. The size of a BDD depends on the encoding of the outputs as well as the ordering of the variab...
متن کاملLow Power FSM Design using Hu man-Style Encoding
This paper presents a novel approach to synthesize low power FSMs using non-uniform code length. Switching activity is reduced by decreasing the expected number of state bits switched less than dlog jSje. The state set S of the FSM is decomposed into two sets based on the limit state probabilities. The state set with very high probability is encoded with less than dlog jSje bits. The other stat...
متن کاملHybrid representations for audiophonic signal encoding
We discuss in this paper a new approach for signal models in the context of audio signal encoding. The method is based upon hybrid models featuring transient, tonal and stochastic components in the signal. Contrary to several existing approaches, our method does not rely on any prior segmentation of the signal. The three components are estimated and encoded using a strategy very much in the spi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Applied Mathematics and Computer Science
سال: 2007
ISSN: 1641-876X
DOI: 10.2478/v10006-007-0011-6